Towards Verified Artificial Intelligence
نویسندگان
چکیده
Verified artificial intelligence (AI) is the goal of designing AI-based systems that are provably correct with respect to mathematically-specified requirements. This paper considers Verified AI from a formal methods perspective. We describe five challenges for achieving Verified AI, and five corresponding principles for addressing these challenges.
منابع مشابه
Performance Improvement of Direct Torque Controlled Interior Permanent Magnet Synchronous Motor Drives Using Artificial Intelligence
The main theme of this paper is to present novel controller, which is a genetic based fuzzy Logic controller, for interior permanent magnet synchronous motor drives with direct torque control. A radial basis function network has been used for online tuning of the genetic based fuzzy logic controller. Initially different operating conditions are obtained based on motor dynamics incorporating...
متن کاملA Conceptual Framework for Smart Hospital towards Industry 4.0
Background: The fourth industrial revolution consists of combining network devices with cloud computing methods and analyzing large data and artificial intelligence, which makes it possible to call such an infrastructure smart. In a Smart Hospital, all things and devices are designed to be connected and integrated, thus achieving better patient care, increasing efficiency and reducing time wast...
متن کاملTowards the application of artificial intelligence techniques for discrete event simulation
GO
متن کاملTracking Trajectory of the Mobile Robot Khepera Ii Using Approaches of Artificial Intelligence
This paper introduces a solution to the reference trajectory tracking problem done by a differential wheeled mobile robot Khepera II. The paper includes a kinematic part and a dynamic part of the mathematical model of mobile robot. In this paper two approaches of the artificial intelligence are used i.e. genetic algorithm approach from evolutionary computing techniques and theory of neural netw...
متن کاملAn Overview of the Artificial Intelligence Applications in Identifying and Combating the Covid-19 Pandemic
Intruduction: In late 2019, people around the world became infected with Covid-19 by the outbreak, the pandemy and epidemy of this disease. To this end, researchers in various fields are seeking to find solutions to the problems related to the control and management of crises. The transmission power of the new corona virus has drawn the attention of experts in the use of artificial intelligence...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1606.08514 شماره
صفحات -
تاریخ انتشار 2016